Minimal Systems of Temporal Logic
نویسندگان
چکیده
منابع مشابه
An Interpretation of Default Logic in Minimal Temporal Epistemic Logic
When reasoning about complex domains, where information available is usually only partial, nonmonotonic reasoning can be an important tool. One of the formalisms introduced in this area is Reiter's Default Logic (1980). A characteristic of this formalism is that the applicability of default (inference) rules can only be verified in the future of the reasoning process. We describe an interpretat...
متن کاملCombining Temporal Logic Systems
This paper is a continuation of the work started in FG92] on combining temporal logics. In this work, four combination methods are described and studied with respect to the transference of logical properties from the component one-dimensional temporal logics to the resulting two-dimensional temporal logic. Three basic logical properties are analysed, namely soundness, completeness and decidabil...
متن کاملMinimal solution of fuzzy linear systems
In this paper, we use parametric form of fuzzy number and we converta fuzzy linear system to two linear system in crisp case. Conditions for the existence of a minimal solution to $mtimes n$ fuzzy linear equation systems are derived and a numerical procedure for calculating the minimal solution is designed. Numerical examples are presented to illustrate the proposed method.
متن کاملTemporal Logic in Information Systems
Temporal logic is obtained by adding temporal connectives to a logic language. Explicit references to time are hidden inside the temporal connectives. Di erent variants of temporal logic use di erent sets of such connectives. In this chapter, we survey the fundamental varieties of temporal logic and describe their applications in information systems. Several features of temporal logic make it e...
متن کاملDynamic Topological Logic Interpreted over Minimal Systems
Dynamic Topological Logic (DT L) is a modal logic which combines spatial and temporal modalities for reasoning about dynamic topological systems, which are pairs consisting of a topological space X and a continuous function f : X → X. The function f is seen as a change in one unit of time; within DT L one can model the long-term behavior of such systems as f is iterated. One class of dynamic to...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Axioms
سال: 2020
ISSN: 2075-1680
DOI: 10.3390/axioms9020067